Case Study - Hypothetical Immunological Response Model Graph Transformation Rules
نویسنده
چکیده
This report accompanies current research on membrane-inspired graph transformation systems. Contained within are details of a hypothetical model of cellular viral infection and subsequent immunological response for some imagined multicellular organism. Section 2 presents the graph transformation rules in a concrete model (after the addition of aggregating attributes) detailing the complete behaviour of the system. Section 3 shows the remaining rules after the concrete model has been abstracted. Rules that have become identity rules are removed from the abstract model and are not shown.
منابع مشابه
Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Evolution of Model Transformations by Model Refactoring: Long Version
Model-to-model transformations between visual languages are often defined by typed, attributed graph transformation systems. Here, the source and target languages of the model transformation are given by type graphs (or meta models), and the relation between source and target model elements is captured by graph transformation rules. On the other hand, refactoring is a technique to improve the s...
متن کاملComparison of Three Model Transformation Languages
In this paper we compare three model transformation languages: 1) Concrete syntax-based graph transformation (CGT) which is our emerging model transformation language, 2) Attributed Graph Grammar (AGG) representing traditional graph transformation, and 3) Atlas Transformation Language (ATL) representing model transformation. Our case study is a fairly complicated refactoring of UML activity mod...
متن کاملClass Diagram Restructuring with GROOVE
This paper describes the GROOVE solution to the “Class Diagram Restructuring” case study of the Tool Transformation Contest 2013 [4]. GROOVE [5, 2] is designed to support state space exploration and model checking of dynamically evolving systems; however, as we will show in this contribution, it can also be used to demonstrate graph transformations as a basis for model transformation. GROOVE’s ...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملHow to Specify a Graph Transformation Approach - A Meta Model for Fujaba
Application-oriented approaches to graph transformation provide structural features beyond vertices and edges, like composition in hierarchical graphs, inheritance in object-oriented graphs, multiplicity constraints, etc. Often, these features have a specific dynamic interpretation which requires complex embedding mechanisms and context conditions. For example, the deletion of a compound node u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011